Operating system kernels - PDFSEARCH.IO - Document Search Engine

Operating system kernels
Results: 132

#	Item
61	Topsy - A Teachable Operating System Version 1.1, [removed]George Fankhauser, Christian Conrad, Eckart Zitzler, Bernhard Plattner Computer Engineering and Networks Laboratory, ETH Zürich Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2000-04-17 06:30:01 Monolithic kernels Concurrent computing Thread Kernel Architecture of Windows NT Mach Ring Microkernel Linux kernel Computer architecture Computing System software
62	Fast Byte-Granularity Software Fault Isolation Manuel Costa Microsoft Research, Cambridge Joint work with: Miguel Castro, Jean-Philippe Martin, Marcus Add to Reading List Source URL: www.sigops.org Language: English - Date: 2009-10-12 16:18:58 Monolithic kernels Kernel Ring Operating system Linux kernel Borland Graphics Interface Computer architecture Software System software
63	Verified secure kernels and hypervisors for the Cloud Matthieu Lemerre Nikolai Kosmatov Add to Reading List Source URL: kosmatov.perso.sfr.fr Language: English Kernel Operating system kernels Microkernel Ring Hypervisor Hyper-V Integrity Exokernel VM System software Computer architecture Software
64	Towards Trustworthy Computing Systems: Taking Microkernels to the Next Level Gernot Heiser∗ Kevin Elphinstone Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-07 14:23:47 Real-time operating systems Computing platforms Embedded operating systems L4 microkernel family Microkernel Monolithic kernels Gernot Heiser Kernel Mach Computer architecture Computing System software
65	Introduction to Debugging the FreeBSD Kernel John H. Baldwin Yahoo!, Inc. Atlanta, GA[removed]removed], http://people.FreeBSD.org/˜jhb Add to Reading List Source URL: www.bsdcan.org Language: English - Date: 2015-01-21 18:21:18 Debuggers Operating system kernels Linux kernel KGDB GNU Debugger Kernel debugger Loadable kernel module Kernel Thread Computing Computer architecture Software
66	SCHOOL OF COMPUTER SCIENCE & ENGINEERING A Formal Model of the L4 µ-kernel API Using the B Method Rafal Kolanski Add to Reading List Source URL: www.ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:10:09 Kernel Monolithic kernels Mach Thread Formal verification Linux kernel Operating system Ring Isabelle Computer architecture Computing L4 microkernel family
67	L4/Darwin: Evolving UNIX Geoffrey Lee and Charles Gray National ICT Australia, Sydney, Australia Abstract the full Linux kernel tree currently contains millions of Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:10:13 Mac OS X Mach Monolithic kernels XNU Microkernel Operating system kernels L4 microkernel family Darwin Kernel Computer architecture System software Software
68	The Linux FAQ David C. Merrill david −AT− lupercalia.net 2003−09−19 Revision History Add to Reading List Source URL: tldp.org Language: English - Date: 2005-01-25 17:11:23 Monolithic kernels Cross-platform software Linux kernel Embeddable Linux Kernel Subset Debian Operating system GNU/Linux naming controversy Book:Open Source Software Computer architecture Linux
69	Eidgenössische Technische Hochschule Zürich Programming in Systems[removed]) Add to Reading List Source URL: www.cs.inf.ethz.ch Language: English - Date: 2001-10-28 19:20:38 Computing platforms Monolithic kernels Mach Operating system Unix Kernel Ring Linux OS-9 Computer architecture Computing Software
70	Eidgenössische Technische Hochschule Zürich Programming in Systems[removed]) Add to Reading List Source URL: www.cs.inf.ethz.ch Language: English - Date: 2001-10-28 17:27:07 Mach Monolithic kernels Computing platforms Operating system Kernel Unix Device driver Ring Linux Computer architecture Computing Software

UPDATE